101. Experimental algorithms :
Author: Ralf Klasing (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms -- Congresses.,Computer algorithms.,Informatique.

102. Experimental robotics II :
Author: Raja Chatila and Gerd Hirzinger (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Robotics, Congresses.
Classification :
TJ210
.
3
.
E963
1991


103. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67


104. Formal modeling and analysis of timed systems :
Author: David N. Jansen, Pavithra Prabhakar (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer simulation, Congresses.,Formal methods (Computer science), Congresses.,System analysis, Congresses.,Temporal automata, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Logics and Meanings of Programs.,Mathematical Logic and Formal Languages.,Simulation and Modeling.,Software Engineering.,3D graphics & modelling.,Algorithms & data structures.,Artificial intelligence.,Computer programming-- software development.,Computer simulation.,Computers-- Computer Simulation.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,System analysis.,Temporal automata.
Classification :
QA76
.
9
.
F67


105. Formal techniques for distributed objects, components, and systems :
Author: Jorge A. Pérez, Nobuko Yoshida (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer network protocols, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Formal methods (Computer science), Congresses.,Computer network protocols.,Electronic data processing-- Distributed processing.,Formal methods (Computer science)
Classification :
QA76
.
9
.
D5
.
F67
2019


106. Foundations of software science and computation structures
Author: Jerzy Tiuryn (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software, Congresses.,System analysis, Congresses.

107. Foundations of software technology and theoretical computer science :
Author: ed. by S.N. Maheshwari.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,Computer programming.,Computers -- Congresses.

108. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics )5891 : Ilkley, West Yorkshire(
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Electronic digital computers- Programming- Congresses,، Computer algorithms- Congresses,، Computer graphics- Congresses
Classification :
QA
76
.
6
.
N379
1985


109. Fundamental algorithms for computer graphics
Author: NATO Advanced Study Institute on Fundamental Algorithms for Computer Graphics, )5891, Ilkley, West Yorkshire(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Electronic digital computers-- Programming-- Congresses,، Computer algorithms-- Congresses,، Computer graphics-- Congresses
Classification :
QA
76
.
6
.
N379
1985


110. Fuzzy logic and applications :
Author: Robert Fullér, Silvio Giove, Francesco Masulli (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fuzzy logic, Congresses.,Fuzzy logic.
Classification :
QA9
.
64


111. Genetic and Evolutionary Computing
Author: \ Jeng-Shyang Pan, Pavel Krömer, Václav Snášel Editors
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Genetic programming (Computer science) -- Congresses.,Genetic algorithms -- Congresses.,برنامهنویسی ژنتیک (کامپیوتر) -- کنگره ها,الگوریتمهای ژنتیک -- کنگره ها
Classification :
E-Book
,

112. Genetic and evolutionary computing :
Author: Jeng-Shyang Pan, Jerry Chun-Wei Lin, Bixia Sui, Shih-Pang Tseng, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Evolutionary computation, Congresses.,Genetic algorithms, Congresses.,Genetic programming (Computer science), Congresses.,Evolutionary computation.,Genetic algorithms.,Genetic programming (Computer science)
Classification :
QA76
.
623
.
I58
2018


113. Genetic and evolutionary computing : proceedings of the Eleventh International Conference on Genetic and Evolutionary Computing, November 6-8, 2017, Kaohsiung, Taiwan
Author: Jerry Chun-Wei Lin
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Genetic algorithms -- Data processing -- Congresses,، Genetic programming )Computer science( -- Congresses,، Evolutionary programming )Computer science( -- Congresses
Classification :
QA
76
.
623
.
I58
2018


114. Genetic programming :
Author: Mauro Castelli, Lukas Sekanina, Mengjie Zhang, Stefano Cagnoni, Pablo García-Sánchez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Genetic programming (Computer science), Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Data mining.,Genetic programming (Computer science)
Classification :
QA76
.
623


115. Graph-theoretic concepts in computer science
Author: / Andreas Brandst?ndt, Dieter Kratsch, Haiko M?�ller (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer programming--Congresses,Computer algorithms--Congresses,Graph theory--Congresses
Classification :
QA
,
166
,.
G715
,
2007


116. Graph-theoretic concepts in computer science :
Author: Andreas Brandstädt, Ekkehard Köhler, Klaus Meer (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science-- Mathematics, Congresses.,Graph theory-- Data processing, Congresses.,Algorithm Analysis and Problem Complexity.,Arithmetic and Logic Structures.,Computer Graphics.,Data Structures.,Discrete Mathematics in Computer Science.,Algorithms & data structures.,Computer science-- Mathematics.,Computers-- Computer Graphics.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Logic Design.,Computers-- Programming-- Algorithms.,Discrete mathematics.,Graph theory-- Data processing.,Graphics programming.
Classification :
QA166


117. Graphs in biomedical image analysis and integrating medical imaging and non-imaging modalities :
Author: Danail Stoyanov, Zeike Taylor, Enzo Ferrante, Adrian V. Dalca et al. (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Diagnostic imaging-- Digital techniques, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Diagnostic imaging-- Digital techniques.,Image processing.,Mathematical theory of computation.
Classification :
RC78
.
7
.
D53


118. Harmony search and nature inspired optimization algorithms :
Author: Neha Yadav, Anupam Yadav, Jagdish Chand Bansal, Kusum Deep, Joong Hoon Kim, editor.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer algorithms, Congresses.,Soft computing, Congresses.,Artificial intelligence.,Computer algorithms.,COMPUTERS-- Programming-- Algorithms.,Data mining.,Image processing.,Soft computing.
Classification :
QA76
.
9
.
A43


119. Information in contemporary society :
Author: Natalie Greene Taylor, Caitlin Christian-Lamb, Michelle H. Martin, Bonnie Nardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Digital media-- Social aspects, Congresses.,Online social networks, Congresses.,Digital media-- Social aspects.,Online social networks.
Classification :
HM851


120. Integration of Constraint Programming, Artificial Intelligence, and Operations Research :
Author: Louis-Martin Rousseau, Kostas Stergiou (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence, Congresses.,Constraint programming (Computer science), Congresses.,Operations research, Congresses.,Artificial intelligence.,Constraint programming (Computer science),Operations research.
Classification :
QA76
.
612
.
I584
2019

